1. A programming language
پدیدآورنده : Iverson, Kenneth E.
موضوع : ، Programming languages )Electronic computers(,، Computer algorithms,، Electronic digital computers-- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 Feb. 1997, Alsace, France
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer programming-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computer algorithms-- Congresses
رده :
QA
76
.
6
.
I1775
1997
3. An introduction to the general theory of algorithms
پدیدآورنده: Machtey, Michael.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Computer algorithms,، Recursive functions
رده :
QA
76
.
7
.
M3
4. Combinatorial complexes : a mathematical theory of algorithms
پدیدآورنده: Sellers, Peter H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(,، Computer algorithms
رده :
QA
76
.
6
.
S448
5. Combinatorial complexes : a mathematical theory of algorithms
پدیدآورنده: Peter H. Sellers
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Programming languages )Electronic computers(,، Algorithms
رده :
QA
76
.
6
.
S448
6. Definition du language algorithmique algol 68
پدیدآورنده: Buffet, J
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algorithms,، Algol )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
B8
7. How to solve it by computer
پدیدآورنده: / R. G. Dromey,Dromey
کتابخانه: كتابخانه مركزی (آستان قدس رضوی علیه‌السلام) - تالار كتابهای خارجی (خراسان رضوی)
موضوع: Computer algorithms,Programming languages (Electronic computers)
رده :
005
.
1
D786H
8. Interactive computer graphics : data structures, algorithms, languages
پدیدآورنده: Giloi, Wolfgang.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer graphics,، Interactive computer systems,، Algorithms,، Programming languages )Electronic computers(,، Data structures )Computer science(
رده :
T
385
.
G54
9. LYaPAS: a programming language for logic and coding algorithms
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Computer algorithms,، Switching theory
رده :
QA
76
.
5
.
L6313
10. LYaPAS: a programming language for logic and coding algorithms
پدیدآورنده: / Edited by M. A. Gavrilov and A. D. Zakrevskii. Translated by Morton Nadler
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Programming languages (Electronic computers),Computer algorithms,Switching theory
رده :
QA76
.
5
.
L613
11. Masterminds of programming /
پدیدآورنده: edited by Federico Biancuzzi and Shane Warden.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer programmers, Interviews.,Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M37
2009
12. Masterminds of programming
پدیدآورنده: edited by Federico Biancuzzi, Shane Warden
کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)
موضوع: ، Computer programming,، Programming languages )Electronic computers(,، Computer algorithms,، Computer programmers- Interviews,، Programmeertalen.- gtt,، Informatici.- gtt,، Ontwerpers.- gtt
رده :
QA
76
.
6
.
M37
13. Masterminds of programming /
پدیدآورنده: edited by Federico Biancuzzi and Shane Warden.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer programmers, Interviews.,Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M37
2009
14. Symposium on semantics of algorithmic languages
پدیدآورنده: / edited by E. Engeler
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses
رده :
QA
76
.
7
.
S9
1971
15. The Logic of Partial Information
پدیدآورنده: by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
16. The logic of partial information
پدیدآورنده: Nait Abdallah, Areski
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
17. The logic of partial information
پدیدآورنده: Areski Nait Abdallah
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
